翻訳と辞書 |
Clock Constraints Specification Language : ウィキペディア英語版 | Clock Constraints Specification Language The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.〔http://www.omgmarte.org/〕 CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from synchronous languages (like Esterel or Signal). A solver of CCSL constraints is implemented in the TimeSquare tool.〔http://timesquare.inria.fr/〕 ==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Clock Constraints Specification Language」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|